g compose q == f compose p